منابع مشابه
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Verifiable computing (VC) uses cryptography to delegate computation to untrusted workers. But in most VC schemes, the delegated program must first be arithmetized – expressed as a circuit with multiplication and addition over a finite field. Previous work has compiled subsets of languages like C, LLVM, and bespoke assembly to arithmetic circuits. In this paper, we report on a new DSL for VC, ca...
متن کاملIt's maybe Somewhat Difficult but I Understand It!
Most studies of implicatures focused on conversational implicatures. This study, however, examined the conventional implicature induced by but. According to the literature, one can assume that the second argument in a ‘p but q’ construction is the argument with the most weight. This is, however, never experimentally tested with a direct distancingcontrastive but. We presented participants with ...
متن کاملSocial capital: much discussed, somewhat controversial, but more to do.
The Author 2013. Published by Oxford University Press on behalf of the European Public Health Association. All rights reserved. doi:10.1093/eurpub/cks180 Advance Access published on 3 January 2013 . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . .. . . . . . . . . . . . ....
متن کاملRefactoring Smelly Spreadsheet Models
Identifying bad design patterns in software is a successful and inspiring research trend. While these patterns do not necessarily correspond to software errors, the fact is that they raise potential problematic issues, often referred to as code smells, and that can for example compromise maintainability or evolution. The identification of code smells in spreadsheets, which can be viewed as soft...
متن کاملSomewhat-connectedness and somewhat-continuity in the product space
In this paper, the concept of somewhat-connected space will be introduced and characterized. Its connection with the other well-known concepts such as the classical connectedness, the $omega_theta$-connectedness, and the $omega$-connectedness will be determined. Moreover, the concept of textit{somewhat}-continuous function from an arbitrary topological space into the product space will be chara...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Blue Jay
سال: 1952
ISSN: 2562-5667,0006-5099
DOI: 10.29173/bluejay1204